w{-}sends($w$; $l$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$onlnk($l$;w{-}m($w$; w{-}loc($w$; $e$); w{-}time($w$; $e$)))